//01
#include <iostream>

using namespace std;

int k;
int main()
{
	cin >> k;
	int x = 1;
	int ret = 0;
	int tmp = x;
	for (int i = 1; i <= k; i++)
	{
		if (tmp == 0)
		{
			x++; tmp = x;
		}
		ret += x;
		tmp--;
	}
	cout << ret << endl;
	return 0;
}
//
//#include <iostream>
//#include <algorithm>
//
//using namespace std;
//typedef long long LL;
//int n, m;
//const int N = 1e4 + 10;
//int w[N];
//LL solve()
//{
//	cin >> n >> m;
//	for (int i = 1; i <= n; i++) cin >> w[i];
// 	sort(w + 1, w + 1 + m);
//
//	LL ret = 0;
//	int j = 0;
//	for (int i = 1; i <= n - m; i++)
//	{
//		sort(w + 1 + j, w + 1 + m + j);
//		j++;
//		int t = w[i];
//		ret += t;
//		for (int k = j; k <= m + j - 1;  k++)
//			w[k] -= t;
//	}
//	sort(w + 1, w + 1 + n);
//	ret += w[n];
//	return ret;
//}
//
//int main()
//{
//	cout << solve() << endl;
//	return 0;
//}